41. Correct System Design
پدیدآورنده: \ Roland Meyer ,André Platzer, Heike Wehrheim (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,Logics and Meanings of Programs.,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67C6
2015
E-Book
,
42. Curves and Surfaces
پدیدآورنده: \ [edited by] Jean-Daniel Boissonnat...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer graphics -- Congresses.,Computer-aided design -- Congresses.,Curves, Algebraic -- Data processing -- Congresses.,گرافیک کامپیوتری -- کنگره‌ها ,طراحی به کمک کامپیوتر -- کنگره ها ,منحنی‌های جبری -- داده پردازی -- کنگره ها
رده :
T
385
.
C8
2015
E-Book
,
43. Descriptional Complexity of Formal Systems
پدیدآورنده: \ Jeffrey Shallit , Alexander Okhotin (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,زبانهای صوری -- کنگره ها
رده :
QA
76
.
9
.
D4
2015
E-Book
,
44. Design, User Experience, and Usability
پدیدآورنده: \ Aaron Marcus (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: User-centered system design -- Congresses.,Human-computer interaction -- Congresses.,طراحی سیستم کاربر‌مدار -- کنگره ها ,انسان و کامپیوتر -- کنگره‌ها
رده :
QA
76
.
9
.
H85D4
2015
E-Book
,
45. Developments in Applied Artificial Intelligence
پدیدآورنده: \ Tim Hendtlass, Moonis Ali (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Artificial intelligence -- Industrial applications -- Congresses.,Expert systems (Computer science) -- Industrial applications -- Congresses.,هوش مصنوعی -- کاربرد‌های صنعتی -- کنگره ها,سیستم‌های خبره ( کامپیوتر) -- کاربرد‌های صنعتی -- کنگره ها
رده :
E-Book
,
46. Digital Forensics and Cyber Crime
پدیدآورنده: \ Joshua I. James , Frank Breitinger (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a05,a05,Computer crimes -- Investigation -- Congresses.,Computer security -- Congresses.,جرایم کامپیوتری -- پی‌جویی -- کنگره ها,کامپیوترها -- ایمنی اطلاعات -- کنگره‌ها
رده :
HV
8079
.
C65D5
2015
E-Book
,
47. Distributed, Ambient, and Pervasive Interactions.
پدیدآورنده: \ Norbert Streitz , Panos Markopoulos (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Human-computer interaction -- Congresses.,Ubiquitous computing -- Congresses,انسان و کامپیوتر -- کنگره‌ها ,محاسبه فراگیر -- کنگره ها
رده :
QA
76
.
9
.
D5
2015
E-Book
,
48. Engineering Societies in the AgentsWorld II
پدیدآورنده: \ Andrea Omicini, Paolo Petta, Robert Tolksdorf (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Intelligent agents (Computer software) -- Congresses.,Engineering -- Societies, etc. -- Congresses.,عوامل هوشمند (نرم‌افزار کامپیوتر) -- کنگره ها,مهندسی -- انجمن‌ها -- کنگره ها
رده :
E-Book
,
49. Evolutionary Computation in Combinatorial Optimization
پدیدآورنده: \ Gabriela Ochoa , Francisco Chicano (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Evolutionary computation -- Congresses,Combinatorial optimization -- Data processing -- Congresses,Evolutionary programming (Computer science) -- Congresses.,محاسبات تکاملی -- کنگره ها ,بهینه‌سازی ترکیبی -- داده‌پردازی -- کنگره ها ,برنامه نویسی تکاملی (کامپیوتر) -- کنگره ها
رده :
.
E94
2015
E-Book
,
50. Evolutionary and Biologically Inspired Music, Sound, Art and Design
پدیدآورنده: \ Colin Johnson , Adrian Carballal, João Correia (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Evolutionary programming (Computer science) -- Congresses.,Biologically-inspired computing -- Congresses.,Computer music -- Congresses.,برنامه‌نویسی تکاملی (کامپیوتر) -- کنگره ها,موسیقی کامپیوتری -- کنگره ها
رده :
QA
76
.
618
.
E94
2015
E-Book
,
51. FM 2015
پدیدآورنده: \ Nikolaj Bjørner , Frank de Boer (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,Software engineering.,روش‌های صوری (کامپیوتر) -- کنگره ها ,مهندسی ن‍رم اف‍زار
رده :
QA
76
.
9
.
F57
2015
E-Book
,
52. Face and Facial Expression Recognition from Real World Videos
پدیدآورنده: \ [Edited by] Qiang Ji...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Human face recognition (Computer science) -- Congresses.,Pattern recognition systems -- Congresses,Computer vision -- Congresses.,چهره‌شناسی انسان (کامپیوتر) -- کنگره ها ,الگوشناسی -- سیستم‌ها -- کنگره‌ها ,بینایی ماشین -- کنگره ها
رده :
TA
1650
.
F32
2015
E-Book
,
53. Fields of Logic and Computation II
پدیدآورنده: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
54. Formal Concept Analysis
پدیدآورنده: \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
55. Formal Methods for Industrial Critical Systems
پدیدآورنده: \ Manuel Núñez , Matthias Güdemann (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌های کامپیوتری -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
56. Formal Techniques for Distributed Objects, Components, and Systems
پدیدآورنده: \ Susanne Graf , Mahesh Viswanathan (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.,Computer network protocols -- Congresses.,داده‌پردازی -- پردازش توزبع شده -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها ,پروتکل‌های شبکه کامپیوتری -- کنگره ها
رده :
QA
76
.
9
.
D5F6
2015
E-Book
,
57. Formal methods
پدیدآورنده: \ Márcio Cornélio , Bill Roscoe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),روش‌های صوری (کامپیوتر) -- کنگره ها ,روش‌های صوری (کامپیوتر)
رده :
QA
76
.
9
.
F67
2016
E-Book
,
58. Formal methods for multicore programming
پدیدآورنده: \ Marco Bernardo , Einar Broch Johnsen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرم‌افزار -- تولید -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
76
.
F6
2015
E-Book
,
59. Frontiers in Computer Education
پدیدآورنده: \ Editor Yuanzhi Wang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Engineering,Artificial intelligence,مهندسی,هوش مصنوعی,a04,a05,a04,a05,Computer science -- Study and teaching -- Congresses. ,علوم کامپیوتر -- راهنمای آموزشی -- کنگره ها
رده :
QA
76
.
27
.
F7
2015
E-Book
,
60. Future Internet Technologies and Trends
پدیدآورنده: \ Zuber Patel, Shilpi Gupta (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses. ,Internet -- Technological innovations -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,اینترنت -- نوآوری -- کنگره ها
رده :
E-Book
,
